home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c++-part1 / 2536 < prev    next >
Encoding:
Internet Message Format  |  1996-08-06  |  2.0 KB
  1. Path: news.th-darmstadt.de!news
  2. From: Enno Sandner <enno@intellektik.informatik.th-darmstadt.de>
  3. Newsgroups: comp.lang.c++
  4. Subject: Re: Function overloading problem
  5. Date: Thu, 18 Jan 1996 08:57:32 +0100
  6. Organization: Fachbereich Informatik, TH Darmstadt
  7. Message-ID: <30FDFD6C.167EB0E7@intellektik.informatik.th-darmstadt.de>
  8. References: <DLBxoH.GLw@ariel.cs.yorku.ca>
  9. NNTP-Posting-Host: kitz.intellektik.informatik.th-darmstadt.de
  10. Mime-Version: 1.0
  11. Content-Type: text/plain; charset=us-ascii
  12. Content-Transfer-Encoding: 7bit
  13. X-Mailer: Mozilla 2.0b5 (X11; I; SunOS 4.1.3 sun4m)
  14.  
  15. IAN J COLOMBY wrote:
  16. > 
  17. > I have the following code which in which the function call of f() inside
  18. > function g() doesn't behave the way I expected it to.
  19. > 
  20. > class B;
  21. > class C;
  22. > 
  23. > class A
  24. > {
  25. >    virtual void f(B*);
  26. >    virtual void f(C*);
  27. > };
  28. > 
  29. > class B: public A
  30. > {
  31. >    void f(B*);
  32. >    void f(C*);
  33. > };
  34. > 
  35. > class C: public A
  36. > {
  37. >    void f(B*);
  38. >    void f(C*);
  39. > };
  40. > 
  41. > void g(A* a1, A* a2)
  42. > {
  43. >         a1->f(a2);
  44. > }
  45. > 
  46. > The above code first of all won't compile unless I insert the following
  47. > line of code into each class definition:
  48. >         vitrual void f(A*) in class A or void f(A*) in classes B & C.
  49.  
  50. What else do you expect ?
  51. A pointer to a derived class may be silently converted to a base-class
  52. pointer but not vice versa.
  53.  
  54. > 
  55. > The next problem is that the above line f(A*) is the function that always
  56. > gets called in the class of a1 no matter what a2 is in function g().  a1
  57. > and a2 will never be of class A, they will only be of either class B or
  58. > class C, so I'm not sure why the the call a1->f(a2) always calls the
  59. > function f(A*) in the class of a1, and not f(B*) or f(C*) depending on
  60. > what class a2 is.
  61. > 
  62. > Any help in solving this problem would be appreciated.
  63. > 
  64.  
  65. The appropriate function is determined at compile-time, ie. the static-type
  66. is used to choose the function, which is in this case A.
  67. A reasonable solution to this problem seems to be the 'Visitor' pattern as
  68. described in the 'Design Patterns' book.
  69.  
  70.     Enno
  71.